On a complete set of generators for dot-depth two
نویسندگان
چکیده
منابع مشابه
On a complete set of generators for dot-depth two
A complete set of generators for Straubing’s dot-depth-two monoids has been characterized as a set of quotients of the form A*/ wCn, , ,,, where n and M denote positive integers, A* denotes the free monoid generated by a finite alphabet A, and mCn,,,) denote congruences related to a version of the Ehrenfeucht-Frays& game. This paper studies combinatorial properties of the N~,,~)‘s and in partic...
متن کاملAround Dot Depth Two
It is known that the languages definable by formulae of the logics FO2[<,S], ∆2[<,S], LTL[F,P,X,Y] are exactly the variety DA∗D. Automata for this class are not known, nor is its precise placement within the dot-depth hierarchy of starfree languages. It is easy to argue that ∆2[<,S] is included in ∆3[<]; in this paper we show that it is incomparable with B(Σ2)[<], the boolean combination of Σ2[...
متن کاملDesign of low power random number generators for quantum-dot cellular automata
Quantum-dot cellular automata (QCA) are a promising nanotechnology to implement digital circuits at the nanoscale. Devices based on QCA have the advantages of faster speed, lower power consumption, and greatly reduced sizes. In this paper, we are presented the circuits, which generate random numbers in QCA. Random numbers have many uses in science, art, statistics, cryptography, gaming, gambli...
متن کاملGames, Equations and Dot-Depth Two Monoids
Given any finite alphabet A and positive integers m1, ..., mk, congruences on A*, denoted by ~(m1, ..., mk) and related to a version of the Ehrenfeucht-Fraisse game, are defined. Level k of the Straubing hierarchy of aperiodic monoids can be characterized in terms of the monoids A*/~(m1, ... mk). A natural subhierarchy of level 2 and equation systems satisfied in the corresponding varieties of ...
متن کاملa study on thermodynamic models for simulation of 1,3 butadiene purification columns
attempts have been made to study the thermodynamic behavior of 1,3 butadiene purification columns with the aim of retrofitting those columns to more energy efficient separation schemes. 1,3 butadiene is purified in two columns in series through being separated from methyl acetylene and 1,2 butadiene in the first and second column respectively. comparisons have been made among different therm...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 1994
ISSN: 0166-218X
DOI: 10.1016/0166-218x(94)90161-9